Require InsertSort.
Require Extraction.

Extraction "InsertSort" InsertSort.insert InsertSort.sort.
